home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / spiderweb / patches / 006 < prev    next >
Encoding:
Text File  |  1989-07-19  |  3.3 KB  |  93 lines
  1. *** master/spider.web.old    Mon Jul  3 12:46:05 1989
  2. --- master/spider.web    Thu Jul 20 19:00:04 1989
  3. ***************
  4. *** 1532,1537 ****
  5. --- 1532,1541 ----
  6.   each scrap is true, the whole production will fire.
  7.   If we're called upon to make a scrap underlined or reserved, we'll add
  8.   to |trans[pos]|.
  9. + 
  10. + If a category is negated we add an extra clause to make
  11. + sure nothing matches the zero category, since {\tt WEAVE} assumes
  12. + no production ever matches a scrap with category zero.
  13.   #<Process a single category#>=
  14.       field[pos]=$i ## save this field to compare RHS
  15.       #<Set |negation|, and remove leading |"!"| from |$i| if necessary#>
  16. ***************
  17. *** 1540,1548 ****
  18.       cat = $i
  19.       categories[cat]=1 ## remember |cat| is a category
  20.       if (negation==0) {
  21. !         test[pos]=sprintf("(pp+%d)->cat==SP_%s",pos-1,cat)
  22.       } else {
  23. !         test[pos]=sprintf("(pp+%d)->cat!=SP_%s",pos-1,cat)
  24.       }
  25.       #<Update the record of the rightmost occurrence of category |cat|#>
  26.       #<Advance |pos|, making the new |trans[pos]| empty#>
  27. --- 1544,1553 ----
  28.       cat = $i
  29.       categories[cat]=1 ## remember |cat| is a category
  30.       if (negation==0) {
  31. !         test[pos]=sprintf("(pp+%d)->cat==SP_%s",pos-1,cat)
  32.       } else {
  33. !         test[pos]=sprintf("((pp+%d)->cat!=SP_%s && (pp+%d)->cat != 0)",\
  34. !             pos-1,cat,pos-1)
  35.       }
  36.       #<Update the record of the rightmost occurrence of category |cat|#>
  37.       #<Advance |pos|, making the new |trans[pos]| empty#>
  38. ***************
  39. *** 1551,1556 ****
  40. --- 1556,1565 ----
  41.   categories are separated by vertical bars.
  42.   We have to make the test for these things a disjunction, but
  43.   processing is more or less like the processing for a single category.
  44. + 
  45. + If a list of alternatives is negated we add an extra clause to make
  46. + sure nothing matches the zero category, since {\tt WEAVE} assumes
  47. + no production ever matches a scrap with category zero.
  48.   #<Process a list of alternative categories#>=
  49.       field[pos]=$i ## save this field to compare RHS
  50.       #<Set |negation|, and remove leading |"!"| from |$i| if necessary#>
  51. ***************
  52. *** 1557,1563 ****
  53.       if (negation==0) {
  54.           test[pos]="(" ## open for a list of good alternatives
  55.       } else {
  56. !         test[pos]="!(" ## open for a list of bad alternatives
  57.       }
  58.       #<Strip stars from |$i| (if any) and add appropriate
  59.           translations to |trans[pos]|#>
  60. --- 1566,1573 ----
  61.       if (negation==0) {
  62.           test[pos]="(" ## open for a list of good alternatives
  63.       } else {
  64. !         temp=sprintf("(pp+%d)->cat==0",pos-1)
  65. !         test[pos]="!(" temp "||" ## open for a list of bad alternatives
  66.       }
  67.       #<Strip stars from |$i| (if any) and add appropriate
  68.           translations to |trans[pos]|#>
  69. ***************
  70. *** 1635,1644 ****
  71.       #<Forget this production#>
  72.   }
  73.   
  74. ! # Wild cards are easy to process
  75.   #<Process a category wild card#>=
  76.       field[pos]=$i ## save this field to compare RHS
  77. !     test[pos]="(1)" ## anything matches
  78.       highwildcard=pos ## we don't really need this?
  79.       #<Advance |pos|, making the new |trans[pos]| empty#>
  80.   
  81. --- 1645,1655 ----
  82.       #<Forget this production#>
  83.   }
  84.   
  85. ! # Wild cards are easy to process, but we do have to remember that
  86. ! not even a wild card matches a scrap of category zero.
  87.   #<Process a category wild card#>=
  88.       field[pos]=$i ## save this field to compare RHS
  89. !         test[pos]=sprintf("(pp+%d)->cat!=0",pos-1) ## anything nonzero matches
  90.       highwildcard=pos ## we don't really need this?
  91.       #<Advance |pos|, making the new |trans[pos]| empty#>
  92.   
  93.